# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate images original text with physical files.
$key = q//;
$cached_env_img{$key} = q|
|;
$key = q/{codexenv}(EMPLOYEE-NAMEEMPLOYEE-23){codexenv};AAT/;
$cached_env_img{$key} = q|
|;
$key = q/{codexenv}(SET(EMPLOYEE-NAMEEMPLOYEE-23)'FRED){codexenv};AAT/;
$cached_env_img{$key} = q|
|;
$key = q/{inset}{}Givenaselectorprocedure,e.g.,asreturnedby{{tt{STYPE-SELECTOR},returnsitscorrespondingcomponentname.{inset};AAT/;
$cached_env_img{$key} = q|
|;
$key = q/{inset}{}Givenastructuretype{{it{stypeslash},returnsalistofitsselectorprocedures.{inset};AAT/;
$cached_env_img{$key} = q|
|;
$key = q/{inset}{}Returnsthetypeidentifierfor{{it{stypeslash}.{inset};AAT/;
$cached_env_img{$key} = q|
|;
$key = q/{inset}{}Returnstrueif{{it{objectslash}isastructure.{inset};AAT/;
$cached_env_img{$key} = q|
|;